（来源：上观新闻）
数据来源：同花顺🥧🖼iFinD🕹，截至2026👧🤽♂️.4.13❌👣。红星新闻记者 🥍🥍彭祥萍 摄影🍾😼记者 王勤 编辑🌼🚙 潘莉✡。因为它真正说👜🛬的，不是🚴赌📜🥔。DeepS🇬🇹eek🈵🌆不是没有工具调🔸👨🦰用和agent能😤力，但它还🇩🇪🌚没有在开发者🌟🦀心智里🥨形成类似Clau➕de、GP🐕T、Kimi、M🥂ini🧥🏆Max、腾讯、🇦🇺😀阿里那样🧙♀️明确的生🚖🛥产力入口🗺。
先前，他🇲🇰💟曾表示要对机🔫🇱🇸器人等三大业👮务，保⛪持战略定力👷。在智能⏳手机市场中🔱👩🏫，Arm占据🍀了手机芯片90🥭%以上的市场份👝☢额☸🥜。格恩半导体“烧”📁钱四年多，“📣烧”出了国内鲜有⛲的氮化镓🇨🇰激光芯片量产能🚇力，“烧”🇱🇷出了IDM🥍全链条布🔤👋局🔭。
在 LLM 时🇲🇵代，如何让🐯形式化🇵🇼方法的脚步快速跟🇪🇸上编程智能体的👨🔧😤发展速🤽♂️🗿度变得越发🕒重要🇲🇶。陈海波对👾⬅ Deep🧂👨🔬Tech🥉 表示：“🍤🏚当编程智能体🦈🚀可以生成 🇨🇮10 万行💚以上代码时，开发📶者对内部的函数🕳行为本就一知◾🧚♀️半解，为成百上千🐧🍉个函数编写形式🇧🇻🚌化规约更不可行💂。
